Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
641	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
642	LOGIC BIBLIOGRAPHY up to 2008 by Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2008-02-26 08:06:24 Philosophical logic Analytic philosophers Non-classical logic Philosophers of mathematics Game semantics Many-valued logic Informal logic Alfred Tarski Paraconsistent logic Logic Mathematical logic Philosophy
643	On Inductive Logic Author(s): Rudolf Carnap Source: Philosophy of Science, Vol. 12, No. 2 (Apr., 1945), pp[removed] Add to Reading List Source URL: tu-dresden.de Language: English - Date: 2011-10-11 11:21:09 Logical consequence Non-classical logic Critical thinking Mathematical logic Entailment Function Modal logic Truth Argument Logic Philosophy Philosophical logic
644	A Method for Access Authorisation Through Delegation Networks Audun Jøsang1 1 Add to Reading List Source URL: persons.unik.no Language: English - Date: 2008-04-28 03:37:53 Non-classical logic Probability theory Subjective logic XACML Authorization Delegation Simple public key infrastructure Information security Information Security Computing Computer security
645	1 An Introduction to Description Logics Daniele Nardi Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Non-classical logic Knowledge Artificial intelligence Philosophical logic Knowledge representation and reasoning Scientific modeling Description logic Frame language Modal logic Logic Science Knowledge representation
646	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
647	Carnap’s Tolerance, Language Change and Logical Pluralism G REG R ESTALL∗ Add to Reading List Source URL: www.consequently.org Language: English - Date: 2001-08-21 00:04:12 Non-classical logic Propositional calculus Logical consequence Logical truth Entailment Philosophy of logic Argument Negation Interpretation Logic Philosophy Philosophical logic
648	Volume 4, Number 9 September 2010 www.thereasoner.org Add to Reading List Source URL: www.arcoe.org Language: English - Date: 2012-02-16 04:56:33 Philosophical logic Epistemology Reasoning Non-classical logic Logical consequence Probabilistic logic Karl Popper Truth Verisimilitude Logic Philosophy Science
649	~ LnKTAZI£U 9~ ~Ed~ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
650	Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2008-10-17 09:32:38 Non-classical logic Formal languages Logic in computer science Categorial grammar Noncommutative logic Proof theory Linear logic Johan van Benthem Bunched logic Logic Mathematical logic Substructural logic

UPDATE